- Barcelona,Spain
- http://www.linkedin.com/in/yeradis
Highlights
- All languages
- ActionScript
- Agda
- ApacheConf
- C
- C#
- C++
- COBOL
- CSS
- Clojure
- Coq
- Cuda
- Dart
- Dockerfile
- EJS
- Elixir
- Erlang
- F#
- GDScript
- Gleam
- Go
- Groovy
- HCL
- HTML
- Haskell
- Haxe
- Idris
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Nix
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Pascal
- Perl
- PlantUML
- PostScript
- Python
- R
- Reason
- Rich Text Format
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- ShaderLab
- Shell
- Smali
- Starlark
- Svelte
- Swift
- TLA
- TeX
- TypeScript
- V
- Vim Script
- Visual Basic 6.0
- XSLT
- Zig
Starred repositories
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
The core OCaml system: compilers, runtime system, base libraries
Context sensitive completion for OCaml in Vim and Emacs
The Opa Language for Web Application Development
Hardcaml is an OCaml library for designing hardware.
Native implementation of React's Server-side rendering (SSR) and React Server Components (RSC) architecture for Reason and OCaml
OCaml-bindings for the PostgreSQL database
Template for an ocaml project with modern tooling
A library that makes it nicer to work with nested functional data structures
OCaml/async implementation of the postgres protocol (i.e., does not use C-bindings to libpq)