Raúl Raja Martínez (raulraja)

raulraja

Geek Repo

Company:@xebia-functional

Location:Multiverse

Home Page:https://twitter.com/raulraja

Twitter:@raulraja

Github PK Tool:Github PK Tool


Organizations
47deg
arrow-kt
cadizdevelopers
scala-exercises

Raúl Raja Martínez's starred repositories

langchain

🦜🔗 Build context-aware reasoning applications

Language:PythonLicense:MITStargazers:87386Issues:663Issues:6957

gpt4all

gpt4all: run open-source LLMs anywhere

llama.cpp

LLM inference in C/C++

JARVIS

JARVIS, a system to connect LLMs with ML community. Paper: https://arxiv.org/pdf/2303.17580.pdf

Language:PythonLicense:MITStargazers:23245Issues:385Issues:176

chatgpt-retrieval-plugin

The ChatGPT Retrieval Plugin lets you easily find personal or work documents by asking questions in natural language.

Language:PythonLicense:MITStargazers:20932Issues:326Issues:221

gpt4-pdf-chatbot-langchain

GPT4 & LangChain Chatbot for large PDF docs

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10203Issues:99Issues:171

gateway

A Blazing Fast AI Gateway. Route to 200+ LLMs with 1 fast & friendly API.

Language:Jupyter NotebookLicense:MITStargazers:4970Issues:35Issues:219

FStar

A Proof-oriented Programming Language

Language:F*License:Apache-2.0Stargazers:2636Issues:80Issues:1988

kotlindl

High-level Deep Learning Framework written in Kotlin and inspired by Keras

Language:KotlinLicense:Apache-2.0Stargazers:1427Issues:44Issues:265

openai-kotlin

OpenAI API client for Kotlin with multiplatform and coroutines capabilities.

Language:KotlinLicense:MITStargazers:1325Issues:31Issues:151

course-plan

📜 Haskell course info, plan, video lectures, slides

Language:HaskellLicense:MPL-2.0Stargazers:1216Issues:23Issues:5

better-parse

A nice parser combinator library for Kotlin

Language:KotlinLicense:Apache-2.0Stargazers:412Issues:18Issues:52

ducktape

Automatic and customizable compile time transformations between similar case classes and sealed traits/enums, essentially a thing that glues your code. Scala 3 only. Or is it duct 🤔

Language:ScalaLicense:NOASSERTIONStargazers:394Issues:6Issues:35

gears

A strawman for a low-level async library in Scala 3.

Language:ScalaLicense:Apache-2.0Stargazers:224Issues:24Issues:14

akkurate

The expressive validation library for Kotlin

Language:KotlinLicense:Apache-2.0Stargazers:223Issues:6Issues:29

tribune

Kotlin 'parse not validate'

Language:KotlinLicense:Apache-2.0Stargazers:192Issues:11Issues:8

dotty-cps-async

experimental CPS transformer for dotty

Language:ScalaLicense:Apache-2.0Stargazers:170Issues:13Issues:39

xef

Building applications with LLMs through composability, in Kotlin, Scala, ...

Language:KotlinLicense:Apache-2.0Stargazers:166Issues:19Issues:72

viktor

Efficient f64-only ndarray in Kotlin

Language:KotlinLicense:MITStargazers:123Issues:13Issues:48

kjwt

Functional Kotlin & Arrow based library for generating and verifying JWTs and JWSs

Language:KotlinLicense:GPL-3.0Stargazers:78Issues:3Issues:13

suspendapp

Reason about resource-safety in the same way you reason about Structured Concurrency with SuspendApp!

Language:KotlinLicense:Apache-2.0Stargazers:71Issues:18Issues:8

Avail

The Avail programming language. Includes the virtual machine, standard library, and standard examples.

Language:KotlinLicense:BSD-3-ClauseStargazers:52Issues:12Issues:194

Unwrapped

Unwrapped is an effects library for Scala 3 that introduces structured concurrency and an abilities system to describe pure functions and programs.

Language:ScalaLicense:Apache-2.0Stargazers:35Issues:13Issues:2

inikio

Better initial-style DSLs in Kotlin

kotlin-hexagonal_http_api-course

💎 Kotlin Hexagonal HTTP API Course: Learn to do scalable Kotlin web apps

parsing

Inversible Parser Combinators along with Lexer, Buffer and ParserGenerator-classes

cellular-automata

Elementary cellular automata simulator, written in Rust, using the Bevy game engine.

Language:RustLicense:BSD-3-ClauseStargazers:4Issues:8Issues:0