Skip to content
View yunjeong-lee's full-sized avatar

Block or report yunjeong-lee

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Rockstar interpreter in OCaml

OCaml 15 1 Updated Aug 6, 2018

A complete Parser for C-Language using Yacc.

Yacc 98 38 Updated Nov 24, 2021

moved from https://sourceforge.net/p/min-caml/code/

OCaml 496 117 Updated Oct 8, 2024

A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml

OCaml 192 17 Updated Jun 14, 2024

A PLT Redex implementation of Featherweight Java

Racket 15 2 Updated Oct 8, 2012

Finetune Llama 3.3, Mistral, Phi, Qwen 2.5 & Gemma LLMs 2-5x faster with 70% less memory

Python 19,706 1,386 Updated Dec 27, 2024

Streamlit app demonstrating using LangChain and retrieval augmented generation with a vectorstore and hybrid search

Python 96 53 Updated Aug 12, 2024

Examples of RAG using LangChain with local LLMs - Mixtral 8x7B, Llama 2, Mistral 7B, Orca 2, Phi-2, Neural 7B

Jupyter Notebook 36 2 Updated Jan 20, 2024

Get up and running with Llama 3.3, Mistral, Gemma 2, and other large language models.

Go 104,532 8,353 Updated Dec 25, 2024

The official Meta Llama 3 GitHub site

Python 1 Updated Jul 3, 2024

The official Meta Llama 3 GitHub site

Python 27,657 3,158 Updated Aug 12, 2024

Financial literacy for computer science students

28 Updated Mar 4, 2024

A music programming language for musicians. 🎶

Go 5,648 292 Updated Dec 19, 2024

#lang clingo for Racket (WIP)

Racket 2 Updated Jan 22, 2024

awesome racket and scheme project

95 6 Updated Mar 12, 2023
HTML 15 3 Updated Apr 13, 2024

OCaml graph library

OCaml 234 61 Updated Nov 13, 2024

QuickCheck inspired property-based testing for OCaml.

OCaml 356 38 Updated Dec 27, 2024

Tree automata

Coq 5 1 Updated Jun 2, 2020

Scala IDE for Eclipse

Scala 497 309 Updated Jan 25, 2023

Few extensions and utility functions for Kotlin and Android

Kotlin 1 Updated Feb 26, 2021

Template repository for creating plugins for IntelliJ Platform

Kotlin 3,208 650 Updated Dec 15, 2024

Strict coding standard for Kotlin and a custom set of rules for detecting code smells, code style issues and bugs

Kotlin 545 39 Updated Dec 23, 2024

C Bounded Model Checker

C++ 867 269 Updated Dec 26, 2024

Simple Kotlin Source AST and Syntax Parsing, Editing, and Writing

Kotlin 236 52 Updated May 14, 2022

Tokenization and parsing Kotlin code using the ANTLR Kotlin grammar

Kotlin 108 9 Updated Nov 24, 2023

IntelliJ IDEA Community Edition & IntelliJ Platform

1 Updated Dec 6, 2021

An automatic program repair tool for data races in Java programs.

Java 4 1 Updated Mar 17, 2022
Next